Further Comments on "Detection of Faults in Programmable Logic Arrays"

In a recent correspondence 111, Ye-Wei and Wei have shown two counterexamples which contradict Theorems 4 and 5 of Smith [2]. In his author’s reply [3], Smith has stated an additional condition under which Theorems 4 and 5 will hold good. In this correspondence, we provide a counterexample which contradicts Smith’s modified Theorem 5. We also provide another counterexample which contradicts even theorem 3 of Smith’s original paper [2].